theorem proving - definição. O que é theorem proving. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é theorem proving - definição

SUBFIELD OF AUTOMATED REASONING DEALING WITH PROVING THEOREMS BY COMPUTER PROGRAMS
Automating theorem proving; Theorem proving; Automatic theorem proving; Automated theorem prover; First-order theorem provers; Automatic theorem prover; Automated deduction; Automated prover; Automatic proof system; Automated theorem provers; Theorem-proving system; Theorem-proving systems; Formalized theorem proving; Theorem-prover; List of automated theorem provers; Comparison of automated theorem provers; List of theorem provers; Computer generated proof; Proof automation; Applications of automated theorem proving; Automated proof; History of automated theorem proving; Benchmarks for automated theorem provers; Benchmarks for theorem provers; Automated mathematical proof; Automated mathematical induction

Automated theorem proving         
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.
Interactive Theorem Proving (conference)         
ANNUAL CONFERENCE SERIES ON AUTOMATED THEOREM PROVING AND PROOF ASSISTANTS
Theorem Proving in Higher-Order Logics; TPHOLs; Theorem Proving in Higher Order Logics; Interactive Theorem Proving
Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
Theorem Proving System         
AUTOMATED THEOREM PROVING SYSTEM FOR FIRST-ORDER AND HIGHER-ORDER LOGIC
TPS (Theorem Proving System)
The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University.

Wikipédia

Automated theorem proving

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.